Branch-and-cut Algorithms for Integer Programming, Branch-and-cut
ثبت نشده
چکیده
Branch-and-cut methods are exact algorithms for integer programming problems. They consist of a combination of a cutting plane method with a branch-and-bound algorithm. These methods work by solving a sequence of linear programming relaxations of the integer programming problem. Cutting plane methods improve the relaxation of the problem to more closely approximate the integer programming problem, and branch-and-bound algorithms proceed by a sophisticated divide and conquer approach to solve problems. The material in this entry builds on the material contained in the entries on cutting plane and branch-and-bound methods. Perhaps the best known branch-and-cut algorithms are those that have been used to solve traveling salesman problems. This approach is able to solve and prove optimality of far larger instances than other methods. Two papers that describe some of this research and also serve as good introductions to the area of branch-and-cut algorithms are [21, 32]. A more recent work on the branch-and-cut approach to the traveling salesman problem is [1]. Branch-and-cut methods have also been used to solve other combina-torial optimization problems; recent references include [8, 10, 13, 23, 24, 26]. For these problems, the cutting planes are typically derived from studies of the polyhedral combinatorics of the corresponding integer program. This enables the addition of strong cutting planes (usually facet defining inequalities), which make it possible to considerably reduce the size of the branch-and-bound tree. Far more detail about these strong cutting planes can be found elsewhere in this encyclopedia , for example in the entry on cutting plane methods for integer programming. Branch-and-cut methods for general integer programming problems are also of great interest It is usually not possible to efficiently solve a general integer programming problem using just a cutting plane approach, and it is therefore necessary to also to branch, resulting in a branch-and-cut approach. A pure branch-and-bound approach can be sped up considerably by the employment of a cutting plane scheme, either just at the top of the tree, or at every node of the tree. For general problems, the specialized facets used when solving a specific combinatorial optimization problem are not available. Some useful families of general inequalities have been developed; these include cuts based on knap-and Fenchel cutting planes [9]. All of these families of cutting planes are discussed in more detail later in this entry. The software packages MINTO [30] and ABACUS [28] implement branch-and-cut algorithms to solve integer programming problems. The …
منابع مشابه
Branch-and-Cut Algorithms for Combinatorial Optimization Problems
Branch-and-cut methods are very successful techniques for solving a wide variety of integer programming problems, and they can provide a guarantee of optimality. We describe how a branch-and-cut method can be tailored to a specific integer programming problem, and how families of general cutting planes can be used to solve a wide variety of problems. Other important aspects of successful implem...
متن کاملTwo optimal algorithms for finding bi-directional shortest path design problem in a block layout
In this paper, Shortest Path Design Problem (SPDP) in which the path is incident to all cells is considered. The bi-directional path is one of the known types of configuration of networks for Automated Guided Vehi-cles (AGV).To solve this problem, two algorithms are developed. For each algorithm an Integer Linear Pro-gramming (ILP) is determined. The objective functions of both algorithms are t...
متن کاملA Branch-and-Cut Algorithm for Equitable Coloring
We present two new integer programming formulations for the equitable coloring problem. We also propose a primal constructive heuristic, branching strategies, and branch-and-cut algorithms based on each of these two formulations. The computational experiments showed that the results obtained by the new algorithms are far superior to those obtained by previously existing approaches.
متن کاملAn Augment-and-Branch-and-Cut Framework for Mixed 0-1 Programming
In recent years the branch-and-cut method, a synthesis of the classical branch-and-bound and cutting plane methods, has proven to be a highly successful approach to solving large-scale integer programs to optimality. This is especially true for mixed 0-1 and pure 0-1 problems. However, other approaches to integer programming are possible. One alternative is provided by so-called augmentation al...
متن کاملA Branch-and-Cut algorithm for graph coloring
In a previous work, we proposed a new integer programming formulation for the graph coloring problem which, to a certain extent, avoids symmetry. We studied the facet structure of the 0/1-polytope associated with it. Based on these theoretical results, we present now a Branch-and-Cut algorithm for the graph coloring problem. Our computational experiences compare favorably with the well-known ex...
متن کامل